Runtime revision of sanctions in normative multi-agent systems
نویسندگان
چکیده
منابع مشابه
Normative positions in multi-agent systems
The Kanger-Lindahl theory of normative positions has great potential of serving as a logical foundation for normative systems for MAS, and its generality allows for great freedom when interpreting the theory. As a first step towards a typology of interpretations of the theory, the application of normative positions is studied in the context of a class of transition systems in which transitions ...
متن کاملInteraction in Normative Multi-Agent Systems
The central research question of this paper is how notions developed in interactive computing such as abstract behavior types, the coordination language Reo, and Boolean circuits with registers, can be used to extend logical input/output nets, or lions for short. Lions are based on input/output logic, a deontic logic which is not used as a (non-classical) inference engine deriving output from i...
متن کاملReasoning with agent preferences in normative multi-agent systems
A fundamental feature of autonomous agents is the ability to make decisions in dynamic environments where alternative plans may be used to achieve their goals. From an individual perspective, agents can have personal preferences over some actions and they try to maximize their preference satisfaction in deciding the actions to achieve their goals. In normative multi-agent systems, however, agen...
متن کاملComputational Models for Normative Multi-Agent Systems
This chapter takes a closer look at computational logic approaches for the design, verification and the implementation of normative multi-agent systems. After a short overview of existing formalisms, architectures and implementation languages, an overview of current research challenges is provided. 1998 ACM Subject Classification I.2.11 Distributed Artificial Intelligence, I.2.4 Knowledge Repre...
متن کاملBelief Revision in Multi-Agent Systems
The ability to respond sensibly to changing and conflicting beliefs is an integral part of intelligent agency. To this end, we outline the design and implementation of a Distributed Assumption based Truth Maintenance System (DATMS) appropriate for controlling cooperative problem solving in a dynamic real world multi-agent community. Our DATMS works on the principle of local coherence which mean...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Autonomous Agents and Multi-Agent Systems
سال: 2020
ISSN: 1387-2532,1573-7454
DOI: 10.1007/s10458-020-09465-8